CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs

Source URL: www.ccs.neu.edu

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: homes.cs.washington.edu

• Numerical analysis
• Mathematics
• Applied mathematics
• Computing
• Error analysis
• Interval arithmetic
• Round-off error
• Program optimization
• Infinite loop
• Algorithm

Page |1 ARAN (Access to Research at NUI Galway) Content and Usage Analysis (CUA) User Guide

Source URL: library.nuigalway.ie

• Publishing
• Bibliometrics
• Academic publishing
• Altmetric
• Scholarly communication
• Aran Islands
• Knowledge

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Source URL: jorgenavas.github.io

• Mathematics
• Computer arithmetic
• Algebra
• Abstract algebra
• Abstract interpretation
• Interval arithmetic
• Two's complement
• Interval
• Signedness
• Logarithm
• Modular arithmetic
• Division by zero

Reducing the Evolutionary Analysis Cost of Alloy Hamid Bagheri Workshop on the Future of Alloy April 30 & May 1, 2018. Cambridge, MA

Source URL: alloytools.org

• Application software
• Computing
• Software
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Ls
• ROOT
• Specification
• Formal specification

Improving Web Privacy And Security with a Cost-Benefit Analysis of the Web API by Peter Snyder B.A., Lawrence University, 2006

Source URL: www.peteresnyder.com

• Software
• Computing
• Free software
• Web browsers
• Cross-platform software
• JavaScript
• Web programming
• Firefox
• Cross-site scripting
• Proxy server
• Trusted computing base
• Browser extension

The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2

Source URL: blockchain.princeton.edu

• Bitcoin
• Cryptocurrencies
• Free software
• Money
• Economy
• Alternative currencies
• Digital currencies
• Decentralization
• SegWit
• Blockchain
• Mining pool
• Satoshi Nakamoto

Timing Analysis of Keystrokes and Timing Attacks on SSH Dawn Xiaodong Song David Wagner University of California, Berkeley Xuqing Tian

Source URL: people.eecs.berkeley.edu

• Cryptography
• Computing
• Computer security
• Cybercrime
• Password
• Security
• Challengeresponse authentication
• Secure Shell
• Passphrase
• Telnet
• Computer keyboard
• Typing

Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• Concurrency control
• Computing
• Computer programming
• Data management
• Lock
• N1
• Monitor
• File locking
• APT

Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson

Source URL: smt2014.it.uu.se

• LTE
• Technology
• Mobile technology
• Wireless
• Software-defined radio
• Mobile telecommunications
• ENodeB
• System Architecture Evolution
• Telecommunications
• E-UTRA
• User equipment
• Mobility management